workspaceAnimation: Disable unredirection during the gesture

Make sure fullscreen apps can't block the animation.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1326>

diff --git a/js/ui/workspaceAnimation.js b/js/ui/workspaceAnimation.js
index 517fed44f3879fcc8b497ad91268ae036b0bd614..b21b3fe94ba791c9a3e3fa7c15a258e05a3067f9 100644 (file)
--- a/js/ui/workspaceAnimation.js
+++ b/js/ui/workspaceAnimation.js
@@ -316,9 +316,13 @@ var WorkspaceAnimationController = class {
 
             switchData.monitors.push(group);
         }
+
+        Meta.disable_unredirect_for_display(global.display);
     }
 
     _finishWorkspaceSwitch(switchData) {
+        Meta.enable_unredirect_for_display(global.display);
+
         this._switchData = null;
 
         switchData.monitors.forEach(m => m.destroy());